computability theory中文是什么意思

• 可计算性理论

• theory    n. 1.理论，学理，原理。 2.学说，论说 (opp. ...
• computability    可计算性; 可算性
• abacus computability    算盘可计算性
• characterization of computability    可计算性刻划
• computability logic    可计算性逻辑
• feasible computability    可行计算性; 可行可计算性
• partial computability    部分可计算性
• practical computability    实用可计算性
• turing computability    图灵机可计算性
• equivalent definitions of computability    可计算性的等价定义
• and theory    经验与理论，119
• in theory    从理论上说; 理论上，理论上讲
• s theory    弗洛伦斯学说; 戈尔茨学说; 赫伯理论; 嘉农氏理论
• the theory of the    事业理论
• theory    n. 1.理论，学理，原理。 2.学说，论说 (opp. hypothesis)。 3.推测，揣度。 4.〔口语〕见解，意见。 the theory of two points 两点论。 Darwin's theory of evolution 达尔文的进化论。 theory of equations 【数学】方程论。 theory of everything 【物理学】(把相对论、量子论和宇宙大爆炸理论都包括在内的)万用理论。 theory of relativity 【物理学】相对论。 the atomic theory 原子说。 Our scheme is good both in theory and in practice. 我们的方案在理论上和实施上都是好的。 combine [separate] theory with [from] practice 理论结合[脱离]实际。 My theory is that we must bring new blood into the Institute through appointment of younger men to important positions. 我的意见是我们学院应该通过重用年轻一些的人来注入新的血液。 theory of games 博弈论，对策论，权衡利弊得失的形势分析。
• theory of    经验的理论，6
• will theory    意思说
• electron theory (= electronic theory)    电子学说
• theory x and theory y    x理论和y理论
• theory x-theory y    理论
• undulatory theory, wave theory    波动说
• utility theory and decision theory    效用理论和决策理论
• a finespun theory    琐细得不切实际的理论
• a profound theory    玄机
• a question of theory    理论问题

• With the use of computability theory dividing whole - word coding into two parts : writing - input coding and computational coding , an method of none keyboard mapping for spelling language is proposed
  本文依据可计算性理论，提出了拼音文字非键盘映射编码方法，将整词编码分为输写码与计算码。
• The thesis consists of four sections . in section one , we introduce some background of the topic , in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic - the algebraic structure of the plus cupping turing degrees , in section three , we outline the basic principles of the priority tree argument , one of the main frameworks and tools of theorem proving in computability theory , and in section four , we prove a new result concerning the algebraic structure of the plus cupping turing degrees that there exist two computably enumerable degrees a , b such that a , b ? pc , and the join a v b of a and b is high
  本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题?加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a ， b ，满足a ， b pc ，而且a和b的并a b是一个高度。

• computability theoryとは意味：計算可能性理論｛けいさん かのうせい りろん｝